Перевод: с английского на русский

с русского на английский

λ-based description

См. также в других словарях:

  • Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   Wikipedia

  • Description de l'Égypte — For other uses, see Description de l Égypte (disambiguation). The Description of Egypt   …   Wikipedia

  • Description of a Struggle — The Petřín hill (in German Laurenziberg) in Prague is featured prominently in Description of a Struggle. Description of a Struggle (German: Beschreibung eines Kampfes ) is a short story by Franz Kafka. Contents …   Wikipedia

  • Description of the Medieval Warm Period and Little Ice Age in IPCC reports — A selection of temperature reconstructions published between 1998 and 2005 The description of the Medieval Warm Period and Little Ice Age in IPCC reports has changed since the first report in 1990 as scientific understanding of the temperature… …   Wikipedia

  • Description of the Town of Quebeck, A —    Essay (78,000 words); written September 1930–January 14, 1931. First published in HPL’s To Quebec and the Stars(1976), ed. L.Sprague de Camp.    HPL’s single longest literary work an exhaustive history of Quebec and a detailed travelogue of… …   An H.P.Lovecraft encyclopedia

  • Physiologically based pharmacokinetic modelling — Contents 1 What is a PBPK model? 2 History 3 Uses of PBPK modeling 4 Limits and extensions of PBPK modeling …   Wikipedia

  • SRX Segmentation Rules eXchage LISA OSCAR XML based Standard — Description= Segmentation Rules eXchange (SRX) is an XML based standard for description of the ways in which translation and other language processing tools segment text for processing. It was created when it was realized that TMX leverage is… …   Wikipedia

  • Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… …   Wikipedia

  • Chinese character description languages — The Chinese character description languages are several proposed languages to most accurately and completely describe Chinese (or CJKV) characters and information such their list of components, list of strokes (basic and complex), their order,… …   Wikipedia

  • Resource Description Framework — Infobox file format name = Resource Description Framework icon = logo = extension = .rdf mime = application/rdf+xml type code = uniform type = magic = owner = [http://www.w3.org/ World Wide Web Consortium] genre = semantic web container for =… …   Wikipedia

  • Dominance-based Rough Set Approach — (DRSA) is an extension of rough set theory for Multi Criteria Decision Analysis (MCDA), introduced by Greco, Matarazzo and Słowiński Greco, S., Matarazzo, B., Słowiński, R.: Rough sets theory for multicriteria decision analysis. European Journal… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»